L’art comme propagande royale? Henri II d’Angleterre, Aliénor d’Aquitaine et leurs enfants (1154-1204)

La Médecine traditionnelle de l'Inde: doctrines prévédique, védique, âyurvédique, yogique et tantrique. Les empereurs moghols, leurs maladies et leurs médecins

tactics, including the use of attack dogs. While pre-Columbian America was by no means a disease-free Shangri-La, the airborne and highly infectious European and African imports caused havoc among populations living in splendid immunological isolation. In contrast to some earlier works, Noble's book succeeds because of its scope and balance, and the author's effort to present the onslaught of d...

Notes sur les modèles de jeux, leurs logiques temporelles, et leurs extensions temporisées

Model checking. La vérification automatique des systèmes réactifs, critiques et/ou embarqués est aujourd’hui un problème très important. D’une part, parce que l’usage de ces systèmes s’est considérablement étendu ces dernières années et d’autre part, parce que leur complexité s’est largement accrue. Leur développement, depuis leur spécification jusqu’à leur implémentation, requiert donc des app...

Henri Dutrochet (Henri du Trochet 1776–1847). Le matérialisme mécaniste et la physiologie générale

Un logiciel permettant d'apprendre des règles et leurs exceptions : Area

Le raisonnement à base de règles générales pouvant comporter différentes exceptions et le raisonnement non-monotone sont des domaines qui ont été bien étudiés et formalisés en Intelligence Artificielle. Ainsi, le Système P (Kraus et al., 1990) fournit un ensemble de postulats de rationalité permettant de définir les conclusions plausibles pouvant être obtenues à partir d’un ensemble de règles p...

Thèse de doctorat Discipline : Mathématiques et leurs interactions

This manuscript is dedicated to the study of infinite dimensional sub-Riemannian geometry and its applications to shape analysis using diffeomorphic deformations. The first part is a detailed summary of our work, while the second part combines the articles we wrote during the last three years. In the first two chapters, we extend the framework of subRiemannian geometry to infinite dimensions, e...